1. Abstract computing machines ; a lambda calculus perspective
Author: / W. Kluge
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Machine theory,Lambda calculus
Classification :
QA
278
.
K6
2005
2. An introduction to combinators and )Lambda(-calculus
Author: Hindley, J. Roger
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Combinatory logic,، Lambda calculus
Classification :
QA
9
.
5
.
H56I5
3. An introduction to functional programming through Lambda calculus /
Author: Greg Michaelson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Functional programming (Computer science),Lambda calculus.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Functional programming (Computer science),Lambda calculus.,MATHEMATICS-- General.
Classification :
QA76
.
6
.
M4854
2011eb
4. From Lambda Calculus to Cybersecurity Through Program Analysis
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mathematics; Optimization; Computer Communication Networks; Computer System Implementation; Theory of Computation; Software Engineering
5. Introduction to Lambda Calculus, An
Author: by Raven Ricci.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA9
.
5
B973
2014
6. Introduction to combinators and ]lambda[-calculus
Author: Hindley, J. Roger
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Combinatory logic,، Lambda calculus
Classification :
QA
9
.
5
.
H56
1986
7. Isomorphisms of types : from ]lambda[-calculus to information retrieval and language design
Author: Di Cosmo, Roberto, 3691-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers(,، Type theory,، Human-computer interaction
Classification :
QA
76
.
7
.
D48
8. Lambda-calculus and combinators : an introduction
Author: Hindley, J. Roger
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Lambda calculus,، Combinatory logic
Classification :
QA
9
.
5
.
H56L3
9. Lambda-calculus and combinators, an introduction /
Author: Hindley, J. Roger.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Lambda calculus,، Combinatory logic
Classification :
QA
9
.
5
.
H565
2008
10. )Lambda(-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
پدیدآورنده : IAC-CNR, Istituto per le applicazioni del calcolo Mauro Picone of the Consiglio nazionale delle ricerche ; edited by C. Bohm
موضوع : Congresses ، Combinatory logic,Congresses ، Programming languages )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. Lambda-calculus, combinators, and functional programming
Author: Revesz, Gyorgy E.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Lambda calculus,، Combinatory logic,، Functional programming languages
Classification :
QA
9
.
5
.
R48
1988
12. Lambda-calculus, combinators, and functional programming
پدیدآورنده : G.E. Revesz
موضوع : Lambda calculus,Combinatory logic,Functional programming languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
13. Semantics of the probabilistic typed lambda calculus : Markov Chain semantics, termination behavior, and denotational semantics
Author: Draheim, Dirk, 9691-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,Mathematics ، Programming languages )Electronic computers(
Classification :
QA
76
.
7
.
D72S4
14. The Lambda Calculus : its Syntax and Semantics
Author: Barendregt, Hendrik Pieter
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Lambda calculus
Classification :
QA
9
.
5
.
B36
1984
15. The Parametric Lambda Calculus :
Author: by Simona Ronchi Della Rocca, Luca Paolini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
Classification :
QA9
.
5
B975
2004
16. The lambda calculus
Author: H.P. Barendregt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Lambda calculus.
17. The parametric lambda calculus: a meta-model for computation
Author: Ronchi Della Rocca, S. )Simona(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Lambda calculus
Classification :
QA
9
.
5
.
R66
2004
